Functions and mappings - PDFSEARCH.IO - Document Search Engine

Functions and mappings
Results: 2485

#	Item
851	Lecture 5 Constructive Algorithms in Coq - NII Lectures Series [width=4cm]niilogo.jpg Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-25 03:08:36 Functions and mappings Lambda calculus Application programming interfaces Theoretical computer science Function composition Functional programming Coq Function Algorithmic skeleton Computing Software engineering Computer programming
852	On the Decidability of Role Mappings between Modular Ontologies Jie Bao1 , George Voutsadakis2 , Giora Slutzki2 and Vasant Honavar2 Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. b Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-04-06 23:01:44 Functions and mappings Algebraic structures Artificial intelligence Description logic Information science Non-classical logic Sheaf Function Ring Mathematics Abstract algebra Algebra
853	CRYSTALLOGRAPHIC SYMMETRY OPERATIONS Mois I. Aroyo Universidad del Pais Vasco, Bilbao, Spain Add to Reading List Source URL: isfc2014.fisica.unlp.edu.ar Language: English - Date: 2014-04-25 09:51:26 Functions and mappings Metric geometry Group theory Isometry Surjective function Invariant Matrix One-dimensional symmetry group Chirality Geometry Mathematics Symmetry
854	Challenging Practice 21. Suppose that it takes 5 minutes for a candle of length 8 cm to burn 1 cm. Let y cm be the length of the candle after x minutes. (a) Copy and complete the following table. x Add to Reading List Source URL: www.singaporemath.com Language: English - Date: 2013-12-09 22:59:26 Functions and mappings Graph Cartesian coordinate system Y-intercept Function Mathematics Elementary mathematics Graph theory
855	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
856	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-10 03:10:32 Computability theory Function Primitive recursive function Principia Mathematica Knaster–Tarski theorem Mathematics Functions and mappings Mathematical logic
857	R Self-tutorial, an Introduction to R Programming Developed for graduate seminars at LSU (BIOL 7901) – Fall 2009 - “R for Ecologists” Add to Reading List Source URL: www.kharms.biology.lsu.edu Language: English - Date: 2014-05-30 18:12:24 Data analysis Function Logarithm Variance R Mathematics Statistics Functions and mappings
858	Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic Mathematics Mathematical logic
859	EXPANSION COMPLEXES FOR FINITE SUBDIVISION RULES II J. W. CANNON, W. J. FLOYD, AND W. R. PARRY Abstract. This paper gives applications of earlier work of the authors on the use of expansion complexes for studying conform Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2003-09-11 22:00:04 Algebraic topology Topological spaces Homotopy theory Functions and mappings Differential topology Orbifold Conformal geometry Linear map CW complex Topology Mathematics Algebra
860	CONSTRUCTING SUBDIVISION RULES FROM RATIONAL MAPS J. W. CANNON, W. J. FLOYD, AND W. R. PARRY Abstract. This paper deepens the connections between critically finite rational maps and finite subdivision rules. The main the Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2007-03-15 19:39:34 Mathematics Group theory Differential topology Orbifold Functions and mappings Spectral theory of ordinary differential equations Representation theory of finite groups Abstract algebra Algebra Group actions

UPDATE